981. Scheduling parallel applications on heterogeneous distributed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ;
982. Scientific computing : an introduction with parallel computing
پدیدآورنده : Golub, Gene Howard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Vector processing )Computer science(
رده :
QA
76
.
58
.
G64
1993
983. Second International Workshop on Software Engineering for Parallel and Distributed Systems: May 17-18, 1997, Boston, MA, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer software-- Development
رده :
QA
76
.
58
.
I5768
1997
984. Semantics of concurrent computation :
پدیدآورنده : edited by Gilles Kahn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
رده :
QA76
.
6
E358
1979
985. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979
پدیدآورنده : International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
6
.
I577
1979
986. Semantics of parallelism :
پدیدآورنده : Michael W. Shields
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA76
.
58
M534
1997
987. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
پدیدآورنده : Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
58
.
E26
1990
988. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
پدیدآورنده : I. Guessarian )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
469
989. Seminar on Concurrency: Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
S4494
1984
990. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
پدیدآورنده : edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
197
991. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
پدیدآورنده : edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
197
992. Separation logic for high-level synthesis
پدیدآورنده : Winterstein, Felix
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Embedded computer systems
رده :
QA
76
.
58
.
W56S4
993. Shared data clusters :
پدیدآورنده : Dilip Ranade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Beowulf clusters (Computer systems),Electronic data processing-- Distributed processing.,Parallel computers.,Beowulf clusters (Computer systems),COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,Electronic data processing-- Distributed processing.,Parallel computers.
رده :
QA76
.
58
.
R358
2002eb
994. Shared data clusters: scalable, manageable, and highly available systems
پدیدآورنده : Ranade, Dilip
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel computers,Distributed processing ، Electronic data processing,، Beowuif clusters )Computer systems(
رده :
QA
76
.
58
.
R358
2002
995. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
پدیدآورنده : Roger Lee )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Artificial intelligence,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
758
.
I53
2008
996. Software engineering, artificial intelligence, networking and parallel/distributed computing 2012
پدیدآورنده : Roger Lee (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Parallel processing (Electronic computers) -- Congresses.,Software engineering -- Congresses.
رده :
Q342
.
R644
2013
997. Software engineering, artificial intelligence, networking and parallel/distributed computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ; Parallel processing (Electronic computers) ; Congresses. ; Software engineering ; Congresses. ;
998. Software engineering, artificial intelligence, networking and parallel/distributed computing 2011
پدیدآورنده : Roger Lee (Ed.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Software engineering,Artificial intelligence,Parallel processing (Electronic computers),Computer networks, Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA
،
76
.
758
،.
S6457
،
2011
999. Software engineering, artificial intelligence, networking and parallel/distributed computing 2010
پدیدآورنده : Roger Lee )ed.( ; guest editors, Jixin Ma ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Artificial intelligence,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
758
.
I573155
2010
1000. Software for parallel computers
پدیدآورنده : Edited by R. H. Perrott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Parallel processing (electronic computers),Computer software
رده :
QA
,
76
.
58
,.
S629
,
1992
